Cellular process and its reconfiguration with Petri Nets
نویسندگان
چکیده
One of common approaches to process specification is based on centralized monolithic process model with hierarchical structure. Most significant disadvantage of such an approach is that changes in such a model cannot be made easily. The content of this paper describes different approach to process modeling. The process model can be assembled from relatively small process units (process cells). Later the paper describes formal approach to such a modeling technique using the Petri Net paradigm.
منابع مشابه
Formal Modeling and Verification of Dynamic Reconfiguration of Autonomous Robotics Systems
Dynamic reconfiguration refers to the ability of a system to dynamically change its structure and interface according to different situations. It provides feasible and flexible modeling and simulation environments with powerful modeling capability and the extra flexibility to design and analyze robotics systems. The aim of this work is the modeling and verification of autonomous robotics system...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملHigh-Level Petri Nets as Type Theories in the Join Calculus
We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, Πi, introduce a hierarchy of type systems of decreasing strictness, ∆i, i = 0, . . . , 3, and we prove that a join process is typeable according to ∆i if and only if it is (strictly...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999